An algebraically closed field is a field that has no proper algebraic extension.